Hi, this plugin doesn't support new 4.2 plugin api, and is incompatible with the Console
4.3.1 (it uses an old method)
\[error\] BeanShellAction: java.lang.NoSuchMethodError: console.Console.setShell(Lconsole/Shell;)V
| Submitted | kpouer - 2007-01-22 10:45:59 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2012-08-03 05:31:00 ezust |
Fixed corresponding entry in plugin manager so it won't show up for current versions
of jEdit, and will also be marked as unsupported by jEdit 5.1 and later.
|
|---|